Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
31	c 2007 by Dafna Shahaf. All rights reserved. LOGICAL FILTERING AND LEARNING IN PARTIALLY OBSERVABLE WORLDS BY Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:01 Algorithm Mathematical logic Theoretical computer science Program optimization
32	Microsoft PowerPoint - autoprog-splash-oct11 Add to Reading List Source URL: onward-conference.org Language: English - Date: 2014-05-20 07:19:23 Digital signal processing Theoretical computer science Algorithm Mathematical logic Program optimization Discrete Fourier transform Fourier
33	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Operations research Algorithm Theoretical computer science Axiom Logic programming Euclidean geometry Datalog Mathematical optimization Constraint satisfaction Satisfiability modulo theories Foundations of geometry
34	Grothendieck Inequalities, Nonlocal Games and Optimization Jop Briët Grothendieck Inequalities, Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-08-10 06:15:57 University of Amsterdam Mathematical optimization Inequalities Quantum mechanics Institute for Logic Language and Computation Semidefinite programming Grothendieck inequality Quantum entanglement
35	Open Question Answering Over Curated and Extracted Knowledge Bases Anthony Fader∗ Luke Zettlemoyer Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-06-22 20:41:12 Natural language processing Computational linguistics Question answering Grammar Human communication Google Search WikiAnswers Question Information retrieval Derivation Modal logic Query optimization
36	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Mathematical optimization Constraint programming Logical consequence Statements Theorem Constraint Constraint logic programming Constraint satisfaction
37	D-ADMM: A DISTRIBUTED ALGORITHM FOR COMPRESSED SENSING AND OTHER SEPARABLE OPTIMIZATION PROBLEMS João F. C. Mota1,2 , João M. F. Xavier2 , Pedro M. Q. Aguiar2 , and Markus Püschel3 1 2 Add to Reading List Source URL: users.isr.ist.utl.pt Language: English - Date: 2012-01-20 04:32:38 Algorithm Mathematical logic Theoretical computer science Distributed computing Game artificial intelligence Routing algorithms Augmented Lagrangian method
38	RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2016-03-08 07:04:45 Constraint programming Abstract interpretation Symbolic execution Constraint Program optimization Concolic testing Constraint logic programming
39	Algorithms and Data Structures (WS15/16) Example Solutions for Unit 4 Problem 1 A simple algorithm to solve this problem is sorting both sets A and B and then doing a linear scan to check for common elements. We start fr Add to Reading List Source URL: www-tcs.cs.uni-sb.de Language: English - Date: 2016-03-02 15:25:03 Algorithm Mathematical logic Theoretical computer science Combinatorial optimization Operations research
40	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: cliplab.org Language: English - Date: 2014-07-12 00:42:10 International Conference on Logic Programming Symposium on Principles of Programming Languages ICLP Association for Computing Machinery Logic programming Logic Prolog

UPDATE